Foundations of Science - PDFSEARCH.IO - Document Search Engine

Foundations of Science
Results: 707

#	Item
91	O. Peter Buneman Curriculum Vitæ – Jan 2008 Work Address: LFCS, School of Informatics University of Edinburgh Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2008-05-05 06:19:22 Fellows of the Royal Society of Edinburgh Peter Buneman Wenfei Fan Dan Suciu SIGMOD Association for Computing Machinery Gerhard Weikum Symposium on Principles of Database Systems David Maier Laboratory for Foundations of Computer Science Malcolm Atkinson Serge Abiteboul
92	M IDDLESEX A LGORITHMS DAY (MAD! 2014) Foundations of Computing Group, Department of Computer Science, School of Science and Technology, Middlesex University, London Add to Reading List Source URL: www.cs.mdx.ac.uk Language: English - Date: 2014-03-14 02:26:32 Theoretical computer science Combinatorial optimization Algorithm Mathematical logic Search algorithm Combinatorics LEMON Matching Algorithm Selection
93	Search Based Software Engineering: Foundations, Challenges and Recent Advances Marouane Kessentini SBSE Research Lab, CIS Department, College of Engineering and Computer Science, Add to Reading List Source URL: wcci2016.org Language: English Software engineering Software quality Program analysis Search-based software engineering Software testing SBSE Mark Harman Code refactoring Computer science
94	38th International Symposium on Mathematical Foundations of Computer Science August 26-30, 2013 in Vienna, Austria http://ist.ac.at/mfcs13/ CALL FOR PAPERS Add to Reading List Source URL: ist.ac.at Language: English - Date: 2013-02-11 10:11:28 U Computer science European Language Resources Association
95	Solving Geometry Problems using a Combination of Symbolic and Numerical Reasoning Shachar Itzhaky1 , Sumit Gulwani2 , Neil Immerman3 , and Mooly Sagiv1 1 Add to Reading List Source URL: www.cs.tau.ac.il Language: English Mathematical logic Operations research Algorithm Theoretical computer science Axiom Logic programming Euclidean geometry Datalog Mathematical optimization Constraint satisfaction Satisfiability modulo theories Foundations of geometry
96	In D. Corfield and J. Williamson (Eds.) Foundations of Bayesianism, Kluwer Applied Logic Series, Kluwer Academic Publishers,Vol. 24, 19-36, 2001. JUDEA PEARL Add to Reading List Source URL: ftp.cs.ucla.edu Language: English - Date: 2007-02-09 16:16:38 Econometrics Regression analysis Philosophy of science Conditionals Independence Causality Causal model Instrumental variable Statistics Confounding Correlation and dependence Structural equation modeling
97	A1_13194_Cover page 1.indd Add to Reading List Source URL: www.philsci.eu Language: English - Date: 2014-07-09 07:09:00 Philosophers of science Stathis Psillos Philosophy Friedrich Stadler Philosopher History and philosophy of science Aristides Baltas Foundations of statistics Ancient Greek philosophy
98	Introduction Case Study in Systems Biology Continuous Approximation and Differential Equations Case Study in Web Services Adventures in Systems Biology Jane Hillston. LFCS, University of Edinburgh 18th July 2005 Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2005-09-27 05:40:16 Process calculi Jane Hillston PEPA Differential equation Numerical analysis Laboratory for Foundations of Computer Science Equation Mathematical analysis
99	SIGACCESS FY’14 Annual Report July 2013 – June 2014 Submitted by: Andrew Sears SIGACCESS continues to refine its activities to meet member needs. This report highlights SIGACCESS Awards as well as the SIG’s confere Add to Reading List Source URL: www.acm.org Language: English - Date: 2014-11-11 12:51:19 Theoretical computer science Edsger W. Dijkstra ACM SIGACT Association for Computing Machinery Symposium on Theory of Computing Symposium on Parallelism in Algorithms and Architectures Symposium on Principles of Distributed Computing Symposium on Computational Geometry ACM-W International Colloquium on Automata Languages and Programming Gdel Prize Symposium on Foundations of Computer Science
100	Published in Acta Biotheoretica: Mathematical and philosophical foundations of biological and biomedical science How complex, probable, and predictable is genetically driven Red Queen chaos? Jorge Duarte,1, 2, ∗ Carla Add to Reading List Source URL: dl.dropboxusercontent.com Language: English Systems science Systems theory Dynamical system Systems Lyapunov exponent Attractor Chaos theory Topological entropy Observability Mathematical analysis

UPDATE